On uniform weak K¨onig’s lemma Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade

Source URL: www.mathematik.tu-darmstadt.de

• Computability theory
• Proof theory
• Mathematical logic
• Predicate logic
• Logic in computer science
• Primitive recursive functional
• Reverse mathematics
• Primitive recursive function
• Primitive recursive arithmetic
• First-order logic
• Peano axioms
• Ordinal analysis

OPEN QUESTIONS ABOUT RAMSEY-TYPE STATEMENTS IN REVERSE MATHEMATICS LUDOVIC PATEY Abstract. Ramsey’s theorem states that for any coloring of the n-element subsets of N with finitely many colors, there is an infinite set

Source URL: ludovicpatey.com

• Computability theory
• Mathematical logic
• Proof theory
• Theory of computation
• Logic in computer science
• Computable function
• Reverse mathematics
• PA degree
• Peano axioms

Possible and Certain Answers for Queries over Order-Incomplete Data Antoine Amarilli1 , Mouhamadou Lamine Ba2 , Daniel Deutch3 , and Pierre Senellart1,4 1 2

Source URL: pierre.senellart.com

• Mathematics
• Mathematical logic
• Logic
• Relational model
• Data management
• Type theory
• Order theory
• Relational algebra
• FO
• Tuple
• Relation
• Data integration

Things that can and things that can’t be done in PRA Ulrich Kohlenbach BRICS∗ Department of Computer Science University of Aarhus Ny Munkegade, Bldg. 540

Source URL: www.mathematik.tu-darmstadt.de

• Computability theory
• Mathematical logic
• Mathematics
• Theoretical computer science
• Primitive recursive function
• Primitive recursive arithmetic
• ELEMENTARY
• Reverse mathematics
• Pairing function
• Ackermann function
• Sequence
• Recursion

Globalization makes inconsistency unrecognizable John Woods

Source URL: www.johnwoods.ca

• Logic
• Philosophy
• Abstraction
• Philosophical logic
• Non-classical logic
• Mathematical logic
• Theories of truth
• Proof theory
• Negation
• Paraconsistent logic
• False
• Contradiction

A GENERALIZED NOTION OF PROBABILISTIC SOPHISTICATION THAT APPLIES TO AMBIGUOUS BELIEFS 1 For the latest version click on the title

Source URL: www.personal.psu.edu

• Mathematical analysis
• Logic
• Mathematics
• Game theory
• Utility
• Probability theory
• Expected utility
• Choice modelling
• Expected utility hypothesis
• Preference
• Lottery
• Monotonic function

On the Study of the Ethernet Franz T. Shenkrishnan, Ph.D. 1 Motivation

Source URL: pdos.csail.mit.edu

• Applied mathematics
• Computational neuroscience
• Computational statistics
• Algorithm
• Mathematical logic
• Theoretical computer science
• Artificial neural network
• Mathematics

Distributed Computing Semester Thesis / Bachelor Thesis Collaborative Graph Evacuation

Source URL: www.tik.ee.ethz.ch

• Mathematics
• Theoretical computer science
• Algorithm
• Mathematical logic
• Ear decomposition
• Robotics

First Joint Meeting Brazil Italy of Mathematics Special Session: Mathematical Logic Rio de Janeiro, August 29 - September 02, 2016 Title: Using forcing to prove theorems: an example around Schanuel’s conjecture Authors

Source URL: www.sbm.org.br

Classical provability of uniform versions and intuitionistic provability Makoto Fujiwara∗ Mathematical Institute Tohoku University 6-3, Aramaki Aoba, Aoba-ku Sendai, Miyagi, Japan

Source URL: www.mathematik.tu-darmstadt.de

• Computability theory
• Proof theory
• Mathematical logic
• Logic
• Reverse mathematics
• Mathematics
• Philosophy of mathematics